21. FM '99 - formal methods / 2.

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

22. Fundamentals of mathematics

Author:

Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)

Subject: Set theory,Logic, Symbolic and mathematical

Classification :
QA
248
.
S36F8
2010

25. Introduction to lattices and order /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Lattice theory.

Classification :
QA171
.
5
.
D38
2002

29. Logical foundations of computer science :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

32. Mathematical analysis

Author:

Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)

Subject: Mathematical analysis

Classification :
515
,.
S376M
,
2008

40. SET THEORY AND ABSTRACT ALGEBRA

Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)

Classification :
512
,.
86
,
BLS